Proceedings 16th International Refinement Workshop

Introduction for Proceedings volume of 16th International Congress of Myriapodology

The papers in this special issue of ZooKeys were presented at the 16th International Congress of Myriapodology (16ICM) held in Olomouc, the Czech Republic on July 20–25, 2014. International Congresses of Myriapodology are scientific meetings of scientists, students and enthusiastic amateurs with specific interest in millipedes, centipedes, symphylans and pauropods, as well as velvet worms. Thos...

International Refinement Workshop & Formal Methods Pacific '98

Proceedings of the second “ international Traveling Workshop

We consider the problem of audio source localization in a medium with unknown characteristics, particularly the speed of sound within the medium. We propose an algorithm to retrieve both the speed of sound and the localized signals under reasonable assumptions such as smoothness of medium structure. We present initial simulation results for stationary sinusoidal sources both for the case of uni...

Proceedings of the International Workshop on

Today’s industry is pushed by the competitive pressure to revise the business model by opening the organizational boundaries to suppliers, clients and partners. As a side effect, knowledge sharing within the market increases and organizations may lose control on strategical knowledge that can be exploited by competitors. For this reason process monitoring today cannot fail in controlling the co...

Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

Spend your time even for only few minutes to read a book. Reading a book will never reduce and waste your time to be useless. Reading, for some people become a need that is to do every day such as spending time for eating. Now, what about you? Do you like to read a book? Now, we will show you a new book enPDFd logic language information and computation 16th international workshop wollic 2009 to...